3. Classical AI, and Searching
Knowledge representation
Search methodologies
Example: Board game with A* algorithm
Advanced search
Genetic algorithms
Logic and truth tables from COMP1380
Propositional and predicate logic
Inference and resolution for problem solving
Rules and expert systems